Free Order Sorted Universal Algebra
نویسنده
چکیده
In this paper S is an order sorted signature. Let S be an order sorted signature and let U0 be an order sorted algebra of S. A subset of U0 is called an order sorted generator set of U0 if: (Def. 1) For every OSSubset O of U0 such that O = OSCl it holds the sorts of OSGenO = the sorts of U0. The following proposition is true (1) Let S be an order sorted signature, U0 be a strict non-empty order sorted algebra of S, and A be a subset of U0. Then A is an order sorted generator set of U0 if and only if for every OSSubset O of U0 such that O = OSClA holds OSGenO = U0. Let us consider S, let U0 be a monotone order sorted algebra of S, and let I1 be an order sorted generator set of U0. We say that I1 is osfree if and only if the condition (Def. 2) is satisfied.
منابع مشابه
Free Order Sorted Universal Algebra 1 Josef Urban
(1) Let S be an order sorted signature, U0 be a strict non-empty order sorted algebra of S, and A be a subset of U0. Then A is an order sorted generator set of U0 if and only if for every OSSubset O of U0 such that O = OSClA holds OSGenO = U0. Let us consider S, let U0 be a monotone order sorted algebra of S, and let I1 be an order sorted generator set of U0. We say that I1 is osfree if and onl...
متن کاملMany Sorted Algebras
The basic purpose of the paper is to prepare preliminaries of the theory of many sorted algebras. The concept of the signature of a many sorted algebra is introduced as well as the concept of many sorted algebra itself. Some auxiliary related notions are defined. The correspondence between (1 sorted) universal algebras [8] and many sorted algebras with one sort only is described by introducing ...
متن کاملA Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
Order-sorted algebras and many sorted algebras exist in a long history with many different implementations and applications. A lot of language specifications have been defined in order-sorted algebra frameworks such as the language specifications in K (an order-sorted algebra framework). The biggest problem in a lot of the order-sorted algebra frameworks is that even if they might allow develop...
متن کاملPreliminaries to Circuits , II 1
This article is the second in a series of four articles (started with [19] and continued in [18], [20]) about modelling circuits by many sorted algebras. First, we introduce some additional terminology for many sorted signatures. The vertices of such signatures are divided into input vertices and inner vertices. A many sorted signature is called circuit like if each sort is a result sort of at ...
متن کاملPreliminaries to Circuits , II
This article is the second in a series of four articles (started with [20] and continued in [19,18]) about modelling circuits by many sorted algebras. First, we introduce some additional terminology for many sorted signatures. The vertices of such signatures are divided into input vertices and inner vertices. A many sorted signature is called circuit like if each sort is a result sort of at mos...
متن کامل